Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
521	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
522	Mathematical Case Studies: the Geometric Algebra∗ Rob Arthan 5 August 2012 Abstract This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:02:03 Mathematical structures Group theory Linear algebra Ring theory Geometric algebra Vector space Inner product space Algebraic structure Group action Algebra Abstract algebra Mathematics
523	Microsoft Word - Final QBIS 2014 Report.doc Add to Reading List Source URL: www.qld.gov.au Language: English - Date: 2014-10-20 22:51:17 Structure Economics Innovation Productivity Service innovation Weight function Design Mathematical analysis Business
524	Minutes Meeting of the IUPsyS Assembly 2002 Singapore July 11 Add to Reading List Source URL: www.iupsys.net Language: English - Date: 2013-11-21 12:26:03 Psychology International Union of Biological Sciences Quorum Politics International psychology International Council for Science Article One of the United States Constitution Committee International Mathematical Union Parliamentary procedure Structure International Union of Psychological Science
525	ICSU Annual Report 2014.cdr Add to Reading List Source URL: www.icsu.org Language: English - Date: 2014-12-18 02:44:31 International Council for Science International Mathematical Union World Association of Young Scientists International Union of Food Science and Technology World Science Forum International Resource Panel International nongovernmental organizations Structure Science
526	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
527	Riemannian Structure of Some New Gradient Descent Learning Algorithms Robert E. Mahony MAHONY @ IEEE . ORG Department of Electrical and Computer Systems Engineering, Monash University, Clayton, Victoria, 3800, Australia Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 07:17:37 Vector calculus Stochastic optimization Computational statistics Riemannian manifold Gradient Vector Differentiable manifold Exponential map Stochastic gradient descent Mathematics Mathematical analysis Calculus
528	Macro factors in the term structure of credit spreads, February 2006 Add to Reading List Source URL: www.bis.org Language: English - Date: 2006-03-17 18:00:00 Financial markets United States housing bubble Fixed income market Mathematical finance Financial risk Corporate bond Economic model High-yield debt Credit rating agency Financial economics Economics Finance
529	CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Model theory Formal systems Proof theory Interpretation Philosophy of mind Theory First-order logic Axiom Structure Logic Mathematical logic Metalogic
530	Category Theory for Dummies (I) James Cheney Programming Languages Discussion Group Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-10-30 05:46:14 Linear algebra Model theory Abstract algebra Boolean algebra Vector space Continuous function Structure Tychonoff space Orbifold Algebra Mathematics Mathematical structures

UPDATE